Practical and theoretical aspects of FORTH software development

نویسنده

  • Peter J. Knaggs
چکیده

This is an investigation into the use of the Forth programming environment. The main areas of enquiry were: interfacing Forth to other languages; interfacing Forth and local area networks; and the use of RISC processors with stack based architecture such as the NC4000 and Harris RTX series. We describe how t o i n terface Forth a n d C. W e also provide a system with a multi-tasking interrupt driven interface to the Ibm NetBios networking software and a simple, generic, method of task activation through message passing. Many aspects of the investigation proved to be dependent on a more thorough theoretical underpinning for the Forth language. The use of a typeless parameter stack means that a programmer must concern himself with the intellectual burden of managing the parameter stack. The mismatching of stack elements can be the cause of subtle logic errors. We therefore investigated the possibility o f d e v eloping a type algebra" that would allow u s t o d e v elop a typed version of Forth. This thesis includes a theory for a type signature algebra" for the stack based argument passing method used by Forth. To support the use of multi-tasking we provide a simple, but formal, theory of concurrent tasks based on state machines that synchronise on events. This has a graphical notation for people who are not familiar with formal notations. We also looked at how formalisms might be used to deene a semantic model for the Forth language and how formalisms can help to deene the relationship between Forth's stack based virtual machine and register based target processors.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Theoretical, Scientific and Practical Aspects of the Basic Stages of Cad Cam Designing of Centrifugal Pumps

Many theoretical and practical problems arise at different stages of the design/manufacturing process during development of a pump. The experience obtained in pump development proves that the quality of a pump depends on many factors, which should he satisfied to receive good results. At the same time, the theory of engineering design principles exists, which is applicable to designing various ...

متن کامل

Practical Step towards Sampling in Qualitative Research; Focused on Grounded Theory

Today, there is a growing trend towards qualitative research in different areas of academic investigations. However, students face difficulties in deciding on qualitative methods of research, because most of the literature on qualitative research focuses on the philosophical and theoretical aspects, and they hardly offer any practical guidelines. This problem is rooted in the essence of qualita...

متن کامل

Theoretical and Practical Aspects of the of Iranian Teachers Cohort Study: A Methodology Report

Lifestyle and its various components have multiple effects on human health and disease. These include dietary intakes and nutritional patterns, which can greatly prevent non-communicable diseases by adhering to dietary recommendations and guidelines. One of the most important and practical studies, showing relationships between the diets and diseases and the level of health in each country, is ...

متن کامل

Design, Implementation and Evaluation of Electronic Teaching of Practical and Theoretical Histology Courses: a New Experience at Isfahan University of Medical Science

Introduction: Electronic education system using advanced and varied technology tries to improve quality of teaching-learning process. This research aimed to design and implement the new electronic teaching system in histology courses (theoretical and practical) at the Isfahan University of Medical Sciences. Methods: This action research was conducted in department of anatomy and molecular biol...

متن کامل

Evaluation of Clinical Education Status from the Viewpoints of Nursing Students

Introduction: Researching the current status of clinical education guarantees development of nursing profession in future. The aim of this study is to assess clinical education status from the viewpoints of nursing students. Methods: In a descriptive cross-sectional study in Ahvaz University of Medical Sciences in 2008, 133 nursing students (in clerkship and internship course) were selected th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993